AI Testing Tools in 2025: What works and what doesn’t
bug0.com·17h·
Discuss: r/programming
👁️System Observability
The bloat of edge-case first libraries
43081j.com·3h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Practical CI-friendly Performance Tests
solidean.com·8h·
Discuss: Lobsters, r/cpp
👁️System Observability
Prompt Snapshot Testing
ninkovic.dev·1d·
Discuss: Hacker News
🔍Formal Verification
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·1d
🎮Verification Games
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·10h·
Discuss: r/programming
💎Refinement Types
Calibrating indifference - a small AI safety idea
lesswrong.com·12h
🩹Self-Healing Systems
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·4h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Using Linters to Direct Agents
factory.ai·5h·
Discuss: Hacker News
🔄Reproducible Builds
Outcome-based Exploration for LLM Reasoning
arxiv.org·19h·
Discuss: Hacker News
📚Automata Learning
The Case for Cowboy Coding
bevel.work·11h·
Discuss: Hacker News
💎Refinement Types
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·1d
💎Refinement Types
Cyborgtest – the chill way to evolve your QA game from manual to automated
github.com·15h·
Discuss: Hacker News
🎮Verification Games
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·15h·
Discuss: Hacker News
🔧Unikernel Development
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·1d·
Discuss: Hacker News
📊Runtime Verification
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·1h·
Discuss: r/programming
📊Runtime Verification
Billion-Line Days Demand Billion-Test Nights
momentic.ai·8h·
Discuss: Hacker News
🤖Program Synthesis
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·6h·
Discuss: Hacker News
📚Automata Learning
Rich Answered That
gist.github.com·7h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus